70 research outputs found
Prohibiting Restriction of Free Trade within the Community: Articles 30-36 of the EEC Treaty
The problem of accommodating the tensions of power between the European Economic Community and individual Member States is particularly acute in the area of prohibitions on restriction on free trade within the Community. Professor van Themaat and Mr. Gormley analyze key aspects of this problem in select decisions of the Court of Justice concerning Articles 30-36 of the EEC Treaty. The areas of discussion include the extent to which Articles 30-36 affect internal economic regulations of Member States, the difference between trading within an established Community organization and trade in an area where no organization exists, and the relation of Articles 30-36 to other provisions of the Treaty. The authors conclude with a consideration of the prospects for federalization within the Common Market in light of the cases discussed earlier
Prohibiting Restriction of Free Trade within the Community: Articles 30-36 of the EEC Treaty
The problem of accommodating the tensions of power between the European Economic Community and individual Member States is particularly acute in the area of prohibitions on restriction on free trade within the Community. Professor van Themaat and Mr. Gormley analyze key aspects of this problem in select decisions of the Court of Justice concerning Articles 30-36 of the EEC Treaty. The areas of discussion include the extent to which Articles 30-36 affect internal economic regulations of Member States, the difference between trading within an established Community organization and trade in an area where no organization exists, and the relation of Articles 30-36 to other provisions of the Treaty. The authors conclude with a consideration of the prospects for federalization within the Common Market in light of the cases discussed earlier
Inversive Meadows and Divisive Meadows
Inversive meadows are commutative rings with a multiplicative identity
element and a total multiplicative inverse operation whose value at 0 is 0.
Divisive meadows are inversive meadows with the multiplicative inverse
operation replaced by a division operation. We give finite equational
specifications of the class of all inversive meadows and the class of all
divisive meadows. It depends on the angle from which they are viewed whether
inversive meadows or divisive meadows must be considered more basic. We show
that inversive and divisive meadows of rational numbers can be obtained as
initial algebras of finite equational specifications. In the spirit of
Peacock's arithmetical algebra, we study variants of inversive and divisive
meadows without an additive identity element and/or an additive inverse
operation. We propose simple constructions of variants of inversive and
divisive meadows with a partial multiplicative inverse or division operation
from inversive and divisive meadows. Divisive meadows are more basic if these
variants are considered as well. We give a simple account of how mathematicians
deal with 1 / 0, in which meadows and a customary convention among
mathematicians play prominent parts, and we make plausible that a convincing
account, starting from the popular computer science viewpoint that 1 / 0 is
undefined, by means of some logic of partial functions is not attainable.Comment: 18 pages; error corrected; 29 pages, combined with arXiv:0909.2088
[math.RA] and arXiv:0909.5271 [math.RA
- …